$a$ $\equiv$ $b$ (mod $s$ in $g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$s$($a$ ($\ast$$g$) (($\sim$$g$)($b$)))